Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1h·
Discuss: DEV
🌳Pattern Match Compilation
Higher-Level Design Patterns
qouteall.fun·2d·
Discuss: Hacker News
⚡Effect Handlers
ECS Implementation
reddit.com·20h·
Discuss: r/cpp
🤖Embedded Go
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·3d·
Discuss: Lobsters, Hacker News
⚡functional programming
Property-based testing of batch-invariant operations
mmaaz.ca·7h·
Discuss: Hacker News
🎲Property Testing
Callbacks in C++ Using Template Functors – Rich Hickey (1994)
tutok.sk·12h·
Discuss: Hacker News
🌉Cross-Platform FFI
Why Reactive Programming Hasn't Taken Off in Python (and Why Signals)
bui.app·6h·
Discuss: Hacker News
🌊Reactive Languages
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·1h
📱Bytecode Design
Recurse Checkins
404wolf.com·4h
🔄Bootstrapping
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·10h·
Discuss: Hacker News
🛡️Stack Safety
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·10h·
Discuss: Hacker News
🔢Algebraic Datatypes
Scaling AI-Assisted Development: How Scaffolding Solved My Monorepo Chaos
dev.to·6h·
Discuss: DEV
📦Monorepos
The Inverse Matrix problem
talesfrom.dev·5h
🚂Error Propagation
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·3h
🔒Rust Borrowing
Multimodal Function Vectors for Spatial Relations
arxiv.org·1h
🧩Persistent Vectors
GSoC 2025 - Support simple C++20 modules use from the Clang driver without a build system
blog.llvm.org·5h
🪆Embedded DSLs
New comment by debugnik in "A comparison of Ada and Rust, using solutions to the Advent of Code"
news.ycombinator.com·19h·
Discuss: Hacker News
🔒Rust Borrowing
PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning
arxiv.org·1h
✅Type Checking
Understanding Linux Kernel Namespaces: The Magic Behind Containers
github.com·12h·
Discuss: DEV
🐚Shell Languages
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·12h·
Discuss: r/programming
🧠Memory Models